Trace theory - PDFSEARCH.IO - Document Search Engine

Trace theory
Results: 358

#	Item
261	Operator-valued extensions of matrix-norm inequalities G.J.O. Jameson 1. INTRODUCTION. Let A = (aj,k ) be a matrix (finite or infinite) of complex numbers. Let kAk denote the usual operator norm of A as an operator on `n Add to Reading List Source URL: www.maths.lancs.ac.uk Language: English - Date: 2005-05-05 11:14:01 Normed spaces Operator theory Matrix theory Inner product space Hilbert space Trace class Lp space Trace Algebra Mathematics Linear algebra
262	Hand Computation of Matrix Exponentials Richard T. Bumby Rutgers University Introduction. It is now common for textbooks for a first course in Differential Equations to describe the solution of the first-order, linear, c Add to Reading List Source URL: www.math.rutgers.edu Language: English - Date: 2001-07-09 15:51:59 Matrix theory Matrix exponential Matrix Cayley–Hamilton theorem Eigenvalues and eigenvectors Eigendecomposition of a matrix Trace Characteristic polynomial Determinant Algebra Linear algebra Mathematics
263	(July 22, [removed]Non-existence of tensor products of Hilbert spaces Paul Garrett [removed] http://www.math.umn.edu/˜garrett/ Add to Reading List Source URL: www.math.umn.edu Language: English - Date: 2010-07-22 19:29:42 Operator theory Linear algebra Hilbert space Von Neumann algebra Nuclear space Tensor product Inner product space Trace Tensor Algebra Mathematics Mathematical analysis
264	Workshop on Trace Methods in Algebraic K-Theory ¨ M UNSTER , G ERMANY Add to Reading List Source URL: www.math.uni-muenster.de Language: English - Date: 2004-08-16 11:25:57 Homological algebra Surgery theory Algebraic geometry K-theory Cyclic homology Cohomology Hochschild homology Farrell–Jones conjecture Algebraic K-theory Abstract algebra Topology Algebraic topology
265	IEEE TRANSACTIONS ON SIGNAL PROCESSING, VOL. 50, NO. 10, OCTOBER[removed]Channel Estimation for Space-Time Orthogonal Block Codes Add to Reading List Source URL: acsp.ece.cornell.edu Language: English - Date: 2002-12-08 00:44:06 Linear algebra Information theory Wireless Space–time block code Matrix Symbol rate Determinant Fisher information Trace Algebra Mathematics Matrix theory
266	ECONOMETRICS Bruce E. Hansen c 2000, 2001, 20021 University of Wisconsin www.ssc.wisc.edu/~bhansen Revised: January 2002 Add to Reading List Source URL: www.ssc.wisc.edu Language: English - Date: 2008-01-16 12:30:16 Matrix theory Matrix Determinant Invertible matrix Trace Vector autoregression Generalized method of moments Eigendecomposition of a matrix Diagonal matrix Algebra Linear algebra Mathematics
267	ACADEMIA DE TRANSPORTURI, Add to Reading List Source URL: www.aticmd.md Language: English - Date: 2012-03-29 13:21:03 Mathematical optimization Matrix theory Operations research Real algebraic geometry Semidefinite programming Matrix Positive-definite matrix Quadratic programming Trace Algebra Mathematics Linear algebra
268	Geometry of Interaction V: logic in the hyperfinite factor Jean-Yves Girard Institut de Mathématiques de Luminy, UMR 6206 – CNRS 163, Avenue de Luminy, Case 907, F[removed]Marseille Cedex 09 [removed] Add to Reading List Source URL: iml.univ-mrs.fr Language: English - Date: 2010-01-20 03:39:53 Matrix theory Operator theory Determinant Symbol Normal distribution Trace Μ operator Von Neumann algebra Algebra Mathematics Linear algebra
269	Trace-based Verification of Imperative Programs with I/O Gregory Malecha, Greg Morrisett, Ryan Wisnesky Harvard University, Cambridge, MA, USA Abstract Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:57 Type theory Logic in computer science Proof theory Dependently typed programming Mathematical logic Mathematical proof Mathematical induction Separation logic Coq Mathematics Theoretical computer science Logic
270	Rule-Based Runtime Verification Howard Barringer?1 , Allen Goldberg2 , Klaus Havelund2 and Koushik Sen??3 1 2 Add to Reading List Source URL: www.agoldberg.org Language: English - Date: 2008-11-03 12:59:56 Model theory Linear temporal logic Temporal logic Interpretation Modal logic Elementary class Structure Parity of a permutation Trace Logic Mathematics Algebra

UPDATE